Opportunistically Parallel Lambda Calculus
dl.acm.orgยท21hยท
Discuss: Hacker News
๐Ÿ”—Functional Compilers
Flag this post
Building an Intelligent RAG System with Query Routing, Validation and Self-Correction
dev.toยท7hยท
Discuss: DEV
๐Ÿ”Information Retrieval
Flag this post
From Lossy to Lossless Reasoning
manidoraisamy.comยท2hยท
Discuss: Hacker News
๐Ÿ”จCompilers
Flag this post
Linux Troubleshooting: These 4 Steps Will Fix 99% of Errors
linuxblog.ioยท5h
๐Ÿ“ŸTerminal Forensics
Flag this post
Interfacing assembly with BASIC via DEFUSR, part 7
subethasoftware.comยท1d
๐Ÿ”งRISC-V Assembler
Flag this post
Show HN: sjl โ€“ Simple JSON Logger for Rust
github.comยท17hยท
Discuss: Hacker News
๐Ÿ”CBOR
Flag this post
Stop Writing Code, Start Writing Docs
thenewstack.ioยท52m
โš™๏ธTLA+
Flag this post
Clean Code: Functions and Error Handling in Go: From Chaos to Clarity [Part 1]
hackernoon.comยท13h
โœ…Format Verification
Flag this post
Nim 2.2.6
nim-lang.orgยท5hยท
Discuss: Hacker News
๐Ÿš€Compiler Optimizations
Flag this post
Well-Typed.Com: Case Study: Debugging a Haskell space leak
well-typed.comยท20h
๐Ÿ”“Decompilation
Flag this post
ImapGoose status update: v0.3.2
whynothugo.nlยท6h
๐Ÿ”„Sync Engine
Flag this post
PORTool: Tool-Use LLM Training with Rewarded Tree
arxiv.orgยท16h
๐Ÿ’ปProgramming languages
Flag this post
Building a Visual Diff System for AI Edits (Like Git Blame for LLM Changes)
news.ycombinator.comยท19mยท
Discuss: Hacker News
๐ŸŽฏGradual Typing
Flag this post
Ajla Tutorial
ajla-lang.czยท19hยท
Discuss: Hacker News
๐Ÿ’งLiquid Types
Flag this post
AI Experiments: Fast Inference with Groq and Third-Party Tools with Kimi K2 in TypingMind
macstories.netยท1d
๐ŸŒ€Brotli Dictionary
Flag this post
Averaging 10 PRs a day with Claude Code
theahura.substack.comยท22hยท
Discuss: Substack
โšกProof Automation
Flag this post
ICU4X 2.1 released!
blog.unicode.orgยท21h
๐Ÿ”คUnicode Normalization
Flag this post
The Boot.dev Beat. November 2025
blog.boot.devยท1d
๐Ÿ“šMARC Evolution
Flag this post
Building Up And Sanding Down
endler.devยท20h
๐Ÿ”ฉSystems Programming
Flag this post